Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·12h·
Discuss: Hacker News
🔗Archive Combinators
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
A note about eventual consistency - Part 2
ufried.com·2d
🗄️Database Sharding
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
chkbit - looks like a great little utility for protecting against bitrot on older filesystems
reddit.com·5h·
Discuss: r/homelab
🌳Archive Merkle Trees
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Merritt Digital Preservation Repository – August 2025
cdlib.org·2d
📦METS Containers
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·4h·
Discuss: Hacker News
🦀Rust Verification
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·4d
✅Format Verification
GHC 9.14.1-Alpha1
blog.haskell.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
Abstractions, Future-Proofing, and a Reasonable Amount of Effort
oddevan.com·3h·
Discuss: Hacker News
🦋Format Metamorphosis
FedReFT: Federated Representation Fine-Tuning with All-But-Me Aggregation
arxiv.org·2d
🌀Brotli Dictionary
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Optimistic or Pessimistic? Understanding Locking in Databases
memoizethebackend.substack.com·6h·
Discuss: Substack, r/programming
🗃️Database Storage